Quantification universelle ou existentielle

 Notations

• La proposition « Pour tout réel \(x\), on a \((x+1)^2=x^2+2x+1\) » contient une quantification universelle.
• « Pour tout ... » signifie « quel que soit ... / pour n'importe quel ... / tous les ... ». C'est le quantificateur universel. 
  
• La proposition « Il existe un élève de ma classe qui porte des lunettes » contient une quantification existentielle.
  « Il existe ... » signifie en mathématiques  « il existe au moins un ... ». C'est le quantificateur existentiel.